Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers (Lecture Notes in Computer Science)
by Martín Abadi,Alberto Lluch Lafuente
ISBN 13: 9783319051185
Format: Paperback (344 pages) Publisher: Springer Published: 19 Mar 2014
Save for later
Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated ... Pro: 9686 (Lecture Notes in Computer Science)
by Alberto Lluch Lafuente, José Proença
ISBN 13: 9783319395180
Format: Paperback (296 pages) Publisher: Springer Published: 27 Jun 2016
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings: 12863 (Lecture Notes in Computer Science, 12863)
by Alberto Lluch Lafuente,Anastasia Mavridou
ISBN 13: 9783030852474
Format: Paperback (261 pages) Publisher: Springer Published: 10 Aug 2021